$\forall$$p$:FinProbSpace, $A$:($\mathbb{N}\rightarrow$p{-}open($p$)). countable{-}p{-}union($i$.$A$($i$)) $\in$ p{-}open($p$)